Computer optimization - PDFSEARCH.IO - Document Search Engine

Computer optimization
Results: 3360

#	Item
571	On Hardness of Pricing Items for Single-Minded Bidders∗ Rohit Khandekar Tracy Kimbrel Konstantin Makarychev Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:35 NP-complete problems Combinatorial optimization Graph connectivity Matching Maximum cut Directed acyclic graph Cut Bipartite graph Graph Graph theory Theoretical computer science Mathematics
572	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
573	Efficient Sensor Placement Optimization for Securing Large Water Distribution Networks Andreas Krause ∗ Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2009-08-13 03:47:05 Computational complexity theory Mathematical optimization Operations research Submodular set function Approximation algorithm Wireless sensor network Reduction Genetic algorithm Optimization problem Theoretical computer science Applied mathematics Mathematics
574	Stereoscopic Segmentation Anthony J. Yezzi Georgia Institute of Technology Electrical and Computer Engineering 777 Atlantic Dr. N.W. Atlanta – GA 30332 Add to Reading List Source URL: vision.ucla.edu Language: English - Date: 2007-12-16 20:01:16 Computer graphics Optics Segmentation Mathematical optimization Level set method James Sethian Region growing Active contour model Image gradient Image processing Computer vision Imaging
575	CloudFlare CDN A global content delivery network with unique performance optimization capabilitiesFLARE \| \| www.cloudflare.com Add to Reading List Source URL: www.cloudflare.com Language: English - Date: 2015-06-08 12:16:54 Networks Computer networking Network performance Content delivery network Streaming Web server Reverse proxy Cache Website Computing Concurrent computing Distributed computing
576	Billions and Billions of Constraints: Whitebox Fuzz Testing in Production Ella Bounimova Patrice Godefroid Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-15 15:23:34 Theoretical computer science Constraint programming Fuzz testing Symbolic execution KeY Sage Constraint optimization Concolic testing Software testing Mathematical software Software engineering
577	Microsoft Word - IJJCE 2010 Reg.List Add to Reading List Source URL: ijjce.theaceee.org Language: English - Date: 2014-03-06 07:05:58 Music Computer network Telecommunications engineering Algorithm Mathematical optimization Data mining Cluster analysis Synthesizer Segmentation Statistics Data analysis Science
578	International Journal of Computing and Optimization Vol. 2, 2015, no. 2, HIKARI Ltd, www.m-hikari.com http://dx.doi.orgijcoThe Bilevel Road Pricing Problem Add to Reading List Source URL: www.m-hikari.com Language: English - Date: 2015-05-21 08:10:39 Operations research Mathematical optimization Shortest path problem Optimization problem Theoretical computer science Mathematics Computational complexity theory
579	I N T E R N AT I ON AL COM PUT E R SCI E NCE I N S T I T U T E Revisiting a basic function on current CPUs: A fast logarithm implementation Add to Reading List Source URL: www.icsi.berkeley.edu Language: English - Date: 2007-06-25 13:05:33 Computer programming Computer arithmetic Software optimization Graphics hardware Video cards Lookup table Floating point CPU cache Natural logarithm Computing Computer hardware Logarithms
580	Dynamic Binary Analysis and Instrumentation Covering a function using a DSE approach Jonathan Salwan Security Day Lille – France Add to Reading List Source URL: www.quarkslab.com Language: English - Date: 2015-01-20 04:16:23 Profilers Software Pin Instrumentation KeY Theorem prover Computer programming Computing Software optimization

UPDATE